The Free On-line Dictionary of Computing (30 December 2018):

beta conversion

    A term from lambda-calculus for beta reduction or
   beta abstraction.

   (1999-01-15)